Metareasoning: A Manifesto
نویسندگان
چکیده
The 21st century is experiencing a renewed interest in an old idea within artificial intelligence that goes to the heart of what it means to be both human and intelligent. This idea is that much can be gained by thinking about one's own thinking. Traditionally within cognitive science and artificial intelligence, thinking or reasoning has been cast as a decision cycle within an actionperception loop similar to that shown in Figure 1. An intelligent agent perceives some stimuli from the environment and behaves rationally to achieve its goals by selecting some action from its set of competencies. The result of these actions at the ground level is subsequently perceived at the object level and the cycle continues. Metareasoning is the process of reasoning about this reasoning cycle. It consists of both the meta-level control of computational activities and the introspective monitoring of reasoning (see Figure 2). This cyclical arrangement represents a higher-level reflection of the standard action-perception cycle, and as such, it represents the perception of reasoning and its control.
منابع مشابه
Ideal Partition of Resources for Metareasoning∗
We can achieve significant gains in the value of computation by metareasoning about the nature or extent of base-level problem solving before executing a solution. However, resources that are irrevocably committed to metareasoning are not available for executing a solution. Thus, it is important to determine the portion of resources we wish to apply to metareasoning and control versus to the ex...
متن کاملLearning to select computations
Efficient use of limited computational resources is essential to intelligence. Selecting computations optimally according to rational metareasoning would achieve this, but rational metareasoning is computationally intractable. Inspired by psychology and neuroscience, we propose the first learning algorithm for approximating the optimal selection of computations. We derive a general, sample-effi...
متن کاملMetareasoning for Planning Under Uncertainty
The conventional model for online planning under uncertainty assumes that an agent can stop and plan without incurring costs for the time spent planning. However, planning time is not free in most realworld settings. For example, an autonomous drone is subject to nature’s forces, like gravity, even while it thinks, and must either pay a price for counteracting these forces to stay in place, or ...
متن کاملLearning from Texts -a Terminological Metareasoning Perspective Learning from Texts -a Terminological Metareasoning Perspective Learning from Texts -a Terminological Metareasoning Perspective
We introduce a methodology for concept learning from texts that relies upon second-order reasoning about statements expressed in a ((rst-order) terminological representation language. This metareasoning approach allows for quality-based evaluation and selection of alternative concept hypotheses. Abstract We introduce a methodology for concept learning from texts that relies upon second-order re...
متن کاملFormalizing and Proving Semantic Relations between Specifications by Reflection
This work contains both a theoretical development and a novel application of ideas introduced in [1] for using reflection in formal metareasoning. From the theoretical side, we extend the metareasoning principles proposed in [1] to cover the case of metatheorems about equational theories which are unrelated by the inclusion relation. From the practical side, we apply the newly introduced metare...
متن کامل